$\forall$$A$:Type, $x$,$y$:$A$. SqStable($x$ = $y$)